Optimal. Leaf size=40 \[ -\frac {1}{5} \csc ^5(x)+\frac {3}{8} i \tanh ^{-1}(\cos (x))+\frac {1}{4} i \cot (x) \csc ^3(x)+\frac {3}{8} i \cot (x) \csc (x) \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.05, antiderivative size = 40, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 13, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.231, Rules used = {3501, 3768, 3770} \[ -\frac {1}{5} \csc ^5(x)+\frac {3}{8} i \tanh ^{-1}(\cos (x))+\frac {1}{4} i \cot (x) \csc ^3(x)+\frac {3}{8} i \cot (x) \csc (x) \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3501
Rule 3768
Rule 3770
Rubi steps
\begin {align*} \int \frac {\csc ^7(x)}{i+\cot (x)} \, dx &=-\frac {1}{5} \csc ^5(x)-i \int \csc ^5(x) \, dx\\ &=\frac {1}{4} i \cot (x) \csc ^3(x)-\frac {\csc ^5(x)}{5}-\frac {3}{4} i \int \csc ^3(x) \, dx\\ &=\frac {3}{8} i \cot (x) \csc (x)+\frac {1}{4} i \cot (x) \csc ^3(x)-\frac {\csc ^5(x)}{5}-\frac {3}{8} i \int \csc (x) \, dx\\ &=\frac {3}{8} i \tanh ^{-1}(\cos (x))+\frac {3}{8} i \cot (x) \csc (x)+\frac {1}{4} i \cot (x) \csc ^3(x)-\frac {\csc ^5(x)}{5}\\ \end {align*}
________________________________________________________________________________________
Mathematica [B] time = 0.15, size = 99, normalized size = 2.48 \[ \frac {1}{640} i \csc ^5(x) \left (140 \sin (2 x)-30 \sin (4 x)+75 \sin (3 x) \log \left (\sin \left (\frac {x}{2}\right )\right )-15 \sin (5 x) \log \left (\sin \left (\frac {x}{2}\right )\right )+150 \sin (x) \left (\log \left (\cos \left (\frac {x}{2}\right )\right )-\log \left (\sin \left (\frac {x}{2}\right )\right )\right )-75 \sin (3 x) \log \left (\cos \left (\frac {x}{2}\right )\right )+15 \sin (5 x) \log \left (\cos \left (\frac {x}{2}\right )\right )+128 i\right ) \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.76, size = 145, normalized size = 3.62 \[ \frac {{\left (15 i \, e^{\left (10 i \, x\right )} - 75 i \, e^{\left (8 i \, x\right )} + 150 i \, e^{\left (6 i \, x\right )} - 150 i \, e^{\left (4 i \, x\right )} + 75 i \, e^{\left (2 i \, x\right )} - 15 i\right )} \log \left (e^{\left (i \, x\right )} + 1\right ) + {\left (-15 i \, e^{\left (10 i \, x\right )} + 75 i \, e^{\left (8 i \, x\right )} - 150 i \, e^{\left (6 i \, x\right )} + 150 i \, e^{\left (4 i \, x\right )} - 75 i \, e^{\left (2 i \, x\right )} + 15 i\right )} \log \left (e^{\left (i \, x\right )} - 1\right ) - 30 i \, e^{\left (9 i \, x\right )} + 140 i \, e^{\left (7 i \, x\right )} - 256 i \, e^{\left (5 i \, x\right )} - 140 i \, e^{\left (3 i \, x\right )} + 30 i \, e^{\left (i \, x\right )}}{40 \, {\left (e^{\left (10 i \, x\right )} - 5 \, e^{\left (8 i \, x\right )} + 10 \, e^{\left (6 i \, x\right )} - 10 \, e^{\left (4 i \, x\right )} + 5 \, e^{\left (2 i \, x\right )} - 1\right )}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.37, size = 94, normalized size = 2.35 \[ -\frac {1}{160} \, \tan \left (\frac {1}{2} \, x\right )^{5} - \frac {1}{64} i \, \tan \left (\frac {1}{2} \, x\right )^{4} - \frac {1}{32} \, \tan \left (\frac {1}{2} \, x\right )^{3} - \frac {1}{8} i \, \tan \left (\frac {1}{2} \, x\right )^{2} - \frac {-274 i \, \tan \left (\frac {1}{2} \, x\right )^{5} + 20 \, \tan \left (\frac {1}{2} \, x\right )^{4} - 40 i \, \tan \left (\frac {1}{2} \, x\right )^{3} + 10 \, \tan \left (\frac {1}{2} \, x\right )^{2} - 5 i \, \tan \left (\frac {1}{2} \, x\right ) + 2}{320 \, \tan \left (\frac {1}{2} \, x\right )^{5}} - \frac {3}{8} i \, \log \left (\tan \left (\frac {1}{2} \, x\right )\right ) - \frac {1}{16} \, \tan \left (\frac {1}{2} \, x\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [B] time = 0.33, size = 92, normalized size = 2.30 \[ -\frac {\tan \left (\frac {x}{2}\right )}{16}-\frac {\left (\tan ^{5}\left (\frac {x}{2}\right )\right )}{160}-\frac {i \left (\tan ^{4}\left (\frac {x}{2}\right )\right )}{64}-\frac {\left (\tan ^{3}\left (\frac {x}{2}\right )\right )}{32}-\frac {i \left (\tan ^{2}\left (\frac {x}{2}\right )\right )}{8}+\frac {i}{8 \tan \left (\frac {x}{2}\right )^{2}}-\frac {1}{32 \tan \left (\frac {x}{2}\right )^{3}}+\frac {i}{64 \tan \left (\frac {x}{2}\right )^{4}}-\frac {3 i \ln \left (\tan \left (\frac {x}{2}\right )\right )}{8}-\frac {1}{160 \tan \left (\frac {x}{2}\right )^{5}}-\frac {1}{16 \tan \left (\frac {x}{2}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.42, size = 131, normalized size = 3.28 \[ -\frac {{\left (-\frac {15 i \, \sin \relax (x)}{\cos \relax (x) + 1} + \frac {30 \, \sin \relax (x)^{2}}{{\left (\cos \relax (x) + 1\right )}^{2}} - \frac {120 i \, \sin \relax (x)^{3}}{{\left (\cos \relax (x) + 1\right )}^{3}} + \frac {60 \, \sin \relax (x)^{4}}{{\left (\cos \relax (x) + 1\right )}^{4}} + 6\right )} {\left (\cos \relax (x) + 1\right )}^{5}}{960 \, \sin \relax (x)^{5}} - \frac {\sin \relax (x)}{16 \, {\left (\cos \relax (x) + 1\right )}} - \frac {i \, \sin \relax (x)^{2}}{8 \, {\left (\cos \relax (x) + 1\right )}^{2}} - \frac {\sin \relax (x)^{3}}{32 \, {\left (\cos \relax (x) + 1\right )}^{3}} - \frac {i \, \sin \relax (x)^{4}}{64 \, {\left (\cos \relax (x) + 1\right )}^{4}} - \frac {\sin \relax (x)^{5}}{160 \, {\left (\cos \relax (x) + 1\right )}^{5}} - \frac {3}{8} i \, \log \left (\frac {\sin \relax (x)}{\cos \relax (x) + 1}\right ) \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.30, size = 89, normalized size = 2.22 \[ -\frac {\mathrm {cot}\left (\frac {x}{2}\right )}{16}-\frac {\mathrm {tan}\left (\frac {x}{2}\right )}{16}-\frac {{\mathrm {cot}\left (\frac {x}{2}\right )}^3}{32}-\frac {{\mathrm {cot}\left (\frac {x}{2}\right )}^5}{160}-\frac {{\mathrm {tan}\left (\frac {x}{2}\right )}^3}{32}-\frac {{\mathrm {tan}\left (\frac {x}{2}\right )}^5}{160}-\frac {\ln \left (\mathrm {tan}\left (\frac {x}{2}\right )\right )\,3{}\mathrm {i}}{8}+\frac {{\mathrm {cot}\left (\frac {x}{2}\right )}^2\,1{}\mathrm {i}}{8}+\frac {{\mathrm {cot}\left (\frac {x}{2}\right )}^4\,1{}\mathrm {i}}{64}-\frac {{\mathrm {tan}\left (\frac {x}{2}\right )}^2\,1{}\mathrm {i}}{8}-\frac {{\mathrm {tan}\left (\frac {x}{2}\right )}^4\,1{}\mathrm {i}}{64} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [F(-1)] time = 0.00, size = 0, normalized size = 0.00 \[ \text {Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________